DL Systems Comparison
نویسندگان
چکیده
The tradeoff between expressiveness and tractability in Description Logics (DLs) has long been recognised [9]. For DL system designers and implementors there are several possible approaches to this problem [3]. These include: • (severely) constraining expressiveness so that (Tbox) reasoning can be performed in polynomial time (e.g., Classic [11]); • using tractable but incomplete reasoning algorithms (e.g., Loom [10]); • using sound and complete reasoning algorithms for logics with high worst case complexities on the grounds that the pathological cases which give rise to the theoretical complexity results are unlikely to arise in practice (e.g., Kris [1]).
منابع مشابه
Comparison of Open Source Digital Library Software with Special reference to Greenstone, DSpace and EPrints
In the past years a great number of digital library and digital repository systems have been developed by individual organizations -mostly Universitiesand given to the public as open-source software. The advantage of having many choices becomes a great headache when selecting a Digital Library (DL) system for a specific organization. To make the decision easier, we compared three such systems t...
متن کاملComparison of Performance of GLM, RF and DL Models in Estimation of Reference Evapotranspiration in Zabol Synoptic Station
Evapotranspiration is one of the most important components of the hydrology cycle for planning irrigation systems and assessing the impacts of climate change hydrology and correct determination is important for many studies such as hydrological balance of water, design of irrigation irrigation networks, simulation of crop yields, design, optimization of water resources, nonlinearity, inherent u...
متن کاملAn Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic
Systems for hybrid reasoning with first-order logic (FOL) extensions of description logic (DL) date back at least 20 years and are enjoying a renewed interest in the context of recent FOL extensions of OWL DL for the Semantic Web. However, current systems for reasoning with such languages can only handle subsets of FOL or they do not fully exploit recent advances in both FOL theorem proving and...
متن کاملComparing Open Source Digital Library Software
The last years a great number of digital library and digital repository systems have been developed by individual organizations -mostly Universitiesand given to the public as open-source software. The advantage of having many choices becomes a great headache when selecting a Digital Library (DL) system for a specific organization. To make the decision easier, we compared five such systems that ...
متن کاملBio-efficacy comparison of herbal-methionine and DL-methionine based on performance and blood parameters of broiler chickens
This study was conducted to compare the bio-efficacy of herbal methionine (H-Met) relative to DL-methionine (DL-Met) on 160 “Ross 308” broiler chickens. DL-Met and H-Met were added to the basal diet in eight experimental treatments with three and four concentrations respectively in starter, grower and finisher period. Blood parameters which were measured at 24 and 42 days of age consisted of: s...
متن کاملComparison of phenylalanine and tyrosine in urine of patients with vitiligo and normal subjects
Amino acids are one of the most necessary substances in intracellular metabolic processes.aromatic aminoacids such as phenylalanine and tyrosine are precursor of melanin so are important materials for the skin pigmentation.metabolic disorders in the melanin synthesis causes milky macules on the skin of patients,known as vitiligo.these patients are hypersensitive to sunlight and consequently at ...
متن کامل